On the enumeration of uniquely reducible double designs
نویسندگان
چکیده
A double 2-(v,k,2λ) design is a design which is reducible into two 2-(v,k,λ) designs. It is called uniquely reducible if it has, up to equivalence, only one reduction. We present properties of uniquely reducible double designs which show that their total number can be determined if only the designs with non-trivial automorphisms are classified with respect to their automorphism group. As an application, after proving that a reducible 2-(21,5,2) design is uniquely reducible, we establish that the number of all reducible 2-(21,5,2) designs is 1 746 461 307.
منابع مشابه
On Cototality and the Skip Operator in the Enumeration Degrees
A set A ⊆ ω is cototal if it is enumeration reducible to its complement, A. The skip of A is the uniform upper bound of the complements of all sets enumeration reducible to A. These are closely connected: A has cototal degree if and only if it is enumeration reducible to its skip. We study cototality and related properties, using the skip operator as a tool in our investigation. We give many ex...
متن کاملCOMPUTATIONAL ENUMERATION OF POINT DEFECT CLUSTERS IN DOUBLE- LATTICE CRYSTALS
The cluster representation matrices have already been successfully used to enumerate close-packed vacancy clusters in all single-lattice crystals [I, 2]. Point defect clusters in double-lattice crystals may have identical geometry but are distinct due to unique atomic postions enclosing them. The method of representation matrices is extended to make it applicable to represent and enumerate ...
متن کاملA CHARACTERIZATION FOR METRIC TWO-DIMENSIONAL GRAPHS AND THEIR ENUMERATION
The textit{metric dimension} of a connected graph $G$ is the minimum number of vertices in a subset $B$ of $G$ such that all other vertices are uniquely determined by their distances to the vertices in $B$. In this case, $B$ is called a textit{metric basis} for $G$. The textit{basic distance} of a metric two dimensional graph $G$ is the distance between the elements of $B$. Givi...
متن کاملOn the reducible $M$-ideals in Banach spaces
The object of the investigation is to study reducible $M$-ideals in Banach spaces. It is shown that if the number of $M$-ideals in a Banach space $X$ is $n(<infty)$, then the number of reducible $M$-ideals does not exceed of $frac{(n-2)(n-3)}{2}$. Moreover, given a compact metric space $X$, we obtain a general form of a reducible $M$-ideal in the space $C(X)$ of continuous functions on $X$. The...
متن کاملEnumeration Order Equivalency
Definition 2.2 (Enumeration Order Reducibility on Listings and sets) 1. For listings , : we say is “Enumeration order reducible” to and write , if and only if, , ( . 2. For r.e. sets , , we say is “Enumeration order reducible” to and write , if and only if, for any listing of there exist some computable function (from the listings of to the listings of ) such that . 3. For two listings , (r.e. ...
متن کامل